Towards Formalization of ARD+ Conceptual Design and Refinement Method
نویسندگان
چکیده
The paper discusses a proposal of a formal description of ARD+ a conceptual design and hierarchical refinement method for knowledge-based systems. Formalization of method syntax is given, as well as description of its semantics. ARD+ is a rework of the classic ARD presented elsewhere, that provides a conceptual design for rule-based systems. ARD+ is based on the concept of gradual design where consecutive design steps correspond to different knowledge abstraction levels in the design. Application examples, along with directions for future research are given.
منابع مشابه
AGH University of Science and Technology
This report presents a design method for decision rules called ARD+. It is an extension of a previously proposed ARD method. In ARD+ the emphasis is put on the gradual refinement of the conceptual model of a knowledge-based system described with attributes. A practical algorithm providing a transition from the ARD+ design to rule design is introduced. Using ARD+ and the algorithm it is possible...
متن کاملVARDA Rule Design and Visualization Tool-Chain
A prototype design tool-chain (VARDA) for the ARD hierarchical rule design method is presented in the paper. It is implemented in the Unix environment using Prolog and Graphviz for design visualization. 1 Rule Design with ARD+ The HeKatE project (hekate.ia.agh.edu.pl) aims at providing design methods and tools that support a rule-based systems design process. Currently HeKatE supports a concept...
متن کاملFormal Semantics for Property-Property Relations in SEAM Visual Language: Towards Simulation and Analysis of Visual Specifications
SEAM is an enterprise architecture method that defines a visual language for modeling. Our goal is to provide formal semantics for SEAM. Model simulation, model comparison, and refinement verification are practical benefits we expect from this formalization. This paper complements the existing SEAM semantics by formalizing property-property relations. This formalization is based on the theory o...
متن کاملARD+ Design and Visualization Tool-Chain Prototype in Prolog
The paper presents a prototype design tool-chain for the ARD+ conceptual design method for rules, called VARDA. The tool-chain is implemented in a Unix environment with the use of Graphviz visualization tool and SWI-Prolog. Introduction An effective design support is a complex issue. It is related to the design methods as well as the human-machine interface. What is often not emphasized, is the...
متن کاملFormalizing the Use of UML in Require- ment Analysis
The Unified Modelling Language (UML) is now widely used for modelling a software at different stages: requirement analysis, design and implementation, during the system development. This work attempts to develop a method to support the formal use of UML in object-oriented software development. The method will include formal definitions of the modelling units in UML which can be used to relate t...
متن کامل